On some computer-aided proofs in analysis
- Författare
- Uppsala universitet Tomas Johnson
- (Tomas Johnson., Härtill 3 uppsatser, Licentiatavhandling (sammanfattning) Uppsala : Uppsala universitet, 2007)
- Genre
- Avhandlingar, theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Department of Mathematics, Uppsala University | 2007 | Sverige, Uppsala | 14 sidor. |